predicate logic with equality
[数] 带同异性的谓词逻辑
热门查询
- banana n. 香蕉；喜剧演员；大鹰钩鼻 n. (Banana)人名；(葡、津)巴纳纳
- Crocker [人名] [英格兰人姓氏] 克罗克 Croaker的变体; [人名] [英格兰人姓氏] 克罗克职业名称，陶工，来源于中世纪英语，含义是“壶，罐”(pot); [地名] [美国] 克罗克
- unincorporated adj. 未组成社团的
- majestic adj. 庄严的；宏伟的
- emanate vi. 发出；散发；发源 vt. 放射（过去式emanated，过去分词emanated，现在分词emanating，第三人称单数emanates，形容词emanative）；发散
- gurney n. （医院用来移动病人的）轮床 n. (Gurney)人名；(英)格尼
- bracketed adj. 相等的
- enchant vt. 使迷惑；施魔法
- threadlike adj. 线状的
- ironclad n. 装甲舰 adj. 装甲的；打不破的；坚固的
- strategically adv. 战略性地；战略上
- beds n. 床上用品，床组（bed复数） vt. 安置；为…提供床铺（bed的第三人称单数）
- siesta n. （西）午睡；午休 vi. 午睡；午休
- emissivity n. [物] 发射率；辐射系数
- heritability n. 遗传可能性
- scoop n. 勺；铲子；独家新闻；凹处 vt. 掘；舀取；抢先获得；搜集
- literalize vt. 拘泥于字句；照字面意义解释
- bullock n. 小公牛；阉牛 n. (Bullock)人名；(西、英、葡)布洛克
- expedience n. 私利；权宜；方便
- excessively adv. 过分地；极度
考试词汇表
